fn f(x: Int) -> Int {
  x+1
};

fn main {
  print_int(f(1000))
};